Classes of Languages Proof Against Regular Pumping

نویسنده

  • Rudolph Sommerhalder
چکیده

— The main purpose of this note is to collect a number ofscattered properties, examples and unanswered questions concerning classes of languages which are proof against varions farms of pumping of the words in the language. These forms of pumping lead to different infinité hiérarchies. Requiring that it must be possible to select from a prefix the substring to be repeated independently of the suffix, results in yet another hiearchy of languages. Finally a semi-pumping property will be given which is a combination of the Nerode-equivalence and the classical pumping lemma. Résumé. — Le but principal de cette note est de rassembler des propriétés, exemples et questions ouvertes de divers types concernant des classes de langages formels qui tolèrent diverses formes d'itération (pumping) des mots de leurs langages. Ces conditions d'itération conduisent à différentes hiérarchies infimes. Si l'on exige l'existence, dans unfacteur gauche, d'unfacteur itérant indépendant du facteur droit restant, on obtient encore une autre hiérarchie de langages. Enfin, on donne une propriété de demi-iération qui combine Véquivalence de Nérode et le lemme de l'étoile classique.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Proof of the Pumping Lemma for Context-Free Languages Through Pushdown Automata

The pumping lemma for context-free languages is a result about pushdown automata which is strikingly similar to the well-known pumping lemma for regular languages. However, though the lemma for regular languages is simply proved by using the pigeonhole principle on deterministic automata, the lemma for pushdown automata is proven through an equivalence with context-free languages and through th...

متن کامل

Pumping lemmas for linear and nonlinear context-free languages

Pumping lemmas are created to prove that given languages are not belong to certain language classes. There are several known pumping lemmas for the whole class and some special classes of the context-free languages. In this paper we prove new, interesting pumping lemmas for special linear and context-free language classes. Some of them can be used to pump regular languages in two place simultan...

متن کامل

Pumping lemmas for linear and nonlinear context-free languages Dedicated to Pál Dömösi on his 65th birthday

Pumping lemmas are created to prove that given languages are not belong to certain language classes. There are several known pumping lemmas for the whole class and some special classes of the context-free languages. In this paper we prove new, interesting pumping lemmas for special linear and context-free language classes. Some of them can be used to pump regular languages in two place simultan...

متن کامل

Analogy Makes Proofs

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

متن کامل

Analogy Makes Proofs Feasible

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • ITA

دوره 14  شماره 

صفحات  -

تاریخ انتشار 1980